Terrain, « Danser », n 35, septembre 2000, 173 p., photogr., réf.

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...

Discovery of the Bright Trans - Neptunian Object 2000 EB 173

We describe the discovery circumstances and photometric properties of 2000 EB173, now one of the brightest trans-Neptunian objects (TNOs) with opposition magnitude mR = 18.9 and also one of the largest Plutinos, found with the drift-scanning camera of the QUEST Collaboration, attached to the 1-m Schmidt telescope of the National Observatory of Venezuela. We measure B − V = 0.99± 0.14 and V −R =...

NICS - TNG infrared spectroscopy of trans - neptunian objects 2000 EB 173 and 2000 WR 106

We report complete near-infrared (0.9-2.4 μm) spectral observations of trans-neptunian objects (TNOs) 2000 EB173 and 2000 WR106 collected using the new Near Infrared Camera Spectrometer (NICS) attached to the 3.56m Telescopio Nazionale Galileo (TNG). Both spectra are very red and with a quite strong and broad drop extending throughout the K band. However, while 2000 EB173 does not show any evid...

P in P Wheat -2000

P-35: Vitrification Induced Apoptosis in MiceBlastocysts

Background: Apoptosis is induced by several factors and has an important role in embryonic development. Since vitrification-induced embryonic damages could be resulted from an increase in apoptosis occurrence,the aim of the present study is to investigate the effect of vitrification on induction of apoptosis in blastocysts. Materials and Methods: For this purpose 20 balb-c mice superovulated an...